#include <stdint.h>
#include "lib_syscall.h"

int main(int argc,char** argv);

extern uint8_t __bss_start__[], __bss_end__[];
void cstart(int argc,char** argv){
    uint8_t * start = __bss_start__;
    while(start < __bss_end__){
        *start++;
    }

    exit(main(argc,argv));
}